$s$ = $t$ $\in$ $T$ \textbf{is Primitive}